Implication Algebras
نویسندگان
چکیده
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.
منابع مشابه
On Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملON ($epsilon, epsilon vee q$)-FUZZY IDEALS OF BCI-ALGEBRAS
The aim of this paper is to introduce the notions of ($epsilon, epsilon vee q$)-fuzzy p-ideals, ($epsilon, epsilon vee q$)-fuzzy q-ideals and ($epsilon, epsilon vee q$)-fuzzy a-ideals in BCIalgebras and to investigate some of their properties. Several characterizationtheorems for these generalized fuzzy ideals are proved and the relationshipamong these generalized fuzzy ideals of BCI-algebras i...
متن کاملFilteristic Soft Lattice Implication Algebras
Applying the idea of soft set theory to lattice implication algebras, the novel concept of (implicative) filteristic soft lattice implication algebras which related to (implicative) filter(for short, (IF -)F -soft lattice implication algebras) are introduced. Basic properties of (IF -)F -soft lattice implication algebras are derived. Two kinds of fuzzy filters (i.e.(∈,∈ ∨qk)((∈,∈ ∨ qk))-fuzzy (...
متن کاملAlgebraically Expandable Classes of Implication Algebras
In this work we solve the following problem: Characterize the subclasses of implication algebras that can be axiomatized by sentences of the form 89! ^ p = q. In the process we obtain a representation result for nite implication algebras, and as a by-product of our solution a number of interesting classes of implication algebras arise. We also obtain a characterization of the congruence permut...
متن کاملCongruence Kernels of Orthoimplication Algebras
Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the correspondin...
متن کاملQuantum Implication Algebras
Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication , and quasi-implication algebras are analysed and put in perspective to each other and our results.
متن کامل